Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
281	ocp-lint A Plugin-based Style-Checker with Semantic Patches C ¸ a˜gda¸s Bozman Th´eophane Hufschmitt Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:03:59 Software engineering Computer programming Software OCaml Program analysis Lint Camlp4 Type system Caml
282	The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1 Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2014-02-10 21:42:15 Control flow Program analysis
283	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
284	EX POST EVALUATION OF INVESTMENT PROJECTS COFINANCED BY THE EUROPEAN REGIONAL DEVELOPMENT FUND (ERDF) AND COHESION FUND (CF) IN THE PERIODINCEPTION REPORT Add to Reading List Source URL: dkm.ie Language: English - Date: 2016-03-25 09:02:40 Evaluation Economy of the European Union Impact assessment Analysis Methodology Program evaluation Costbenefit analysis Structural Funds and Cohesion Fund European Regional Development Fund Interreg Impact evaluation
285	Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2013-08-25 13:39:42 Computing Computer arithmetic Software engineering Computer programming Floating point LLVM Kahan summation algorithm Extended precision IEEE floating point Program analysis Lookup table Type system
286	Final Project Report- December 2011 Assessing Consumer Preferences and Demand for Fish: A Market Analysis of the Midwest Aquaculture Industry Graduate Student Project Funded by the Illinois-Indiana Sea Grant Program Davi Add to Reading List Source URL: www.iiseagrant.org Language: English - Date: 2015-04-28 14:44:36 Economy Food and drink Business Food industry Marketing Aquaculture Sustainable food system Willingness to pay Food safety Consumer Agriculture Agricultural economics
287	GLOBAL COURSE PROGRAM 2016 Brussels • New York • Singapore • Zurich Add to Reading List Source URL: www.i-intelligence.eu Language: English - Date: 2016-01-12 06:23:24 Espionage Intelligence gathering disciplines Business intelligence Market research Strategic management Military intelligence Open-source intelligence Geospatial intelligence Intelligence analysis Competitive intelligence Human intelligence Internet privacy
288	Phylogenetic inference from word lists using weighted alignment with empirically determined weights Gerhard J¨ager∗ University of T¨ ubingen & Swedish Collegium for Advanced Study, Uppsala gerhard.jaeger@uni-tuebinge Add to Reading List Source URL: www.sfs.uni-tuebingen.de Language: English - Date: 2013-10-22 06:11:17 Statistics Mathematical analysis Probability Historical linguistics Automated Similarity Judgment Program Probability distributions Matrix Normal distribution Logarithm Random variable Skewness
289	Lead partner With the support of Partners Add to Reading List Source URL: www.tocema-europe.com Language: English - Date: 2012-03-14 08:59:38 Strategic management Economy Business Vision statement Accountability SWOT analysis Program management Digital strategy Strategy implementation
290	IBD Isolation By Distance A program for population genetic analyses of isolation by distance http://www.bio.sdsu.edu/pub/andy/IBD.html Add to Reading List Source URL: www.bio.sdsu.edu Language: English - Date: 2008-07-11 19:15:12 Biology Genetics Statistics Population genetics Genetic distance Phylogenetics Mantel test Distance matrix Genetic variation Regression analysis

UPDATE